منابع مشابه
The Restriction Theorem for Fully Nonlinear Subequations
We address the restriction problem for viscosity subsolutions of a fully nonlinear PDE on a manifold Z. The constraints on the restrictions of smooth subsolutions to a submanifold X ⊂ Z determine a restricted subequation on X . The problem is to show that general (upper semi-continuous) subsolutions restrict to satisfy the same constraints. We first prove an elementary result which, in theory, ...
متن کاملFully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem
We present two fully mechanized proofs of Dilworth’s and Mirsky’s theorems in the Coq proof assistant. Dilworth’s Theorem states that in any finite partially ordered set (poset), the size of a smallest chain cover and a largest antichain are the same. Mirsky’s Theorem is a dual of Dilworth’s Theorem. We formalize the proofs by Perles [2] (for Dilworth’s Theorem) and by Mirsky [5] (for the dual ...
متن کاملA Fully Equational Proof of Parikh's Theorem
We show that the validity of Parikh’s theorem for context-free languages depends only on a few equational properties of least pre-fixed points. Moreover, we exhibit an infinite basis of μ-term equations of continuous commutative idempotent semirings. AMS Subject Classification (2000): 03C05, 16Y60, 68Q42, 68Q45, 68Q70.
متن کاملFully Adequate Gentzen Systems and the Deduction Theorem
An infinite sequence ∆ = 〈∆n(x0, . . . , xn−1, y, ū) : n < ω〉 of possibly infinite sets of formulas in n + 1 variables x0, . . . , xn−1, y and a possibly infinite system of parameters ū is a parameterized graded deduction-detachment (PGDD) system for a deductive system S over a S-theory T if, for every n < ω and for all φ0, . . . , φn−1, ψ ∈ FmΛ, T, φ0, . . . , φn−1 `S ψ iff T `S ∆n(φ0, . . . ,...
متن کاملThe Evans-Krylov theorem for nonlocal fully nonlinear equations
We prove a regularity result for solutions of a purely integro-differential Bellman equation. This regularity is enough for the solutions to be understood in the classical sense. If we let the order of the equation approach two, we recover the theorem of Evans and Krylov about the regularity of solutions to concave uniformly elliptic partial differential equations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Mathematica
سال: 2020
ISSN: 0001-5962,1871-2509
DOI: 10.4310/acta.2020.v225.n2.a4